Do while petlja

U većini računalnih programskih jezika do while petlja, ponekad nazvana samo kao do petlja, je naredba upravljanja toka koja dopušta izvršavanje koda na osnovu danog bulovskog uvjeta. Valja uočiti da je, za razliku od većine jezika, Fortranova do petlja ustvari analogna for petlji.

Do while konstrukt se sastoji od bloka koda i uvjeta. Prvo se izvršuje kod unutar bloka, a potom se evaluira uvjet. Ako je uvjet istinit, kod se unutar bloka opet izvršuje. Ovo se opetuje sve dok uvjet ne postane lažan. Budući da do while petlje provjeruju uvjet nakon izvršenja bloka koda, upravljačka se struktura često naziva postispitnom petljom. Ovo valja sučeliti s while petljom, koja ispituje uvjet prije izvršenja koda bloka.

Moguće je, u nekim slučajima i poželjno, da uvjet uvijek evaluira u istinu, stvarajući beskonačnu petlju. Kad je takva petlja stvorena hotimice, obično postoji neka druga upravljačka struktura (poput break naredbe) koja dopušta terminaciju petlje.

Neki jezici mogu rabiti drukčiju konvenciju imenovanja za ovaj tip petlje. Primjerice, Pascal je naziva "repeat until petljom". Valja uočiti da će se u Pascalu petlja izvršavati sve dok upravljački izraz ne poprimi vrijednost "istina" kao suprotnost drugim jezicima u kojima petlja terminira u trenutku kad upravljački izraz poprimi vrijednost "laž".

Primjerice, u C-u, odsječak koda:

 x = 0;
 do {
    x = x + 1;
 } while (x < 3);

prvo izvršuje naredbu x = x + 1, što rezultira s x = 1. Potom se provjeruje uvjet x < 3, koji je istinit, te se stoga blok koda ponovo izvršuje. Ovaj se postupak ispitivanja i provjere opetuje sve dok varijabla x ne dosegne željenu vrijednost 3.